let dimap(f, id, (P (b, b))) : p('a, 'b);